Algorithms: A Quest for Absolute Definitions
نویسندگان
چکیده
What is an algorithm? The interest in this foundational problem is not only theoretical; applications include specification, validation and verification of software and hardware systems. We describe the quest to understand and define the notion of algorithm. We start with the Church-Turing thesis and contrast Church’s and Turing’s approaches, and we finish with some recent investigations.
منابع مشابه
Algorithms : A Quest for Absolute Definitions ∗ Andreas Blass
What is an algorithm? The interest in this foundational problem is not only theoretical; applications include specification, validation and verification of software and hardware systems. We describe the quest to understand and define the notion of algorithm. We start with the Church-Turing thesis and contrast Church’s and Turing’s approaches, and we finish with some recent investigations.
متن کاملEffect of Objective Function on the Optimization of Highway Vertical Alignment by Means of Metaheuristic Algorithms
The main purpose of this work is the comparison of several objective functions for optimization of the vertical alignment. To this end, after formulation of optimum vertical alignment problem based on different constraints, the objective function was considered as four forms including: 1) the sum of the absolute value of variance between the vertical alignment and the existing ground; 2) the su...
متن کاملFrom Food to Drug: Avicenna’s Perspective, a Brief Review
The Food and drug were developed by pharmacists and physicians, in particular Persian scientists throughout medical history. There was an especial view on the subject of nutrition and medications in Persian medicine (PM). Avicenna was one of the main Persian physicians who contributed to this field in the Canon of medicine “Al-qanun-fi-al-tibb”, his main medical and pharmaceutical text book in ...
متن کاملبهینهسازی بهره‌برداری از سد مخزنی با الگوریتم جستجوی کلاغ براساس یک مدل تصمیم‌گیری چندمعیاره
Exploitation of dam reservoirs is one of the major problems in the management of water resources. In this research, Crow Search Algorithm (CSA) was used for the first time to manage the operation of reservoirs. Also, the results related to the exploitation of the single-reservoir system of Shahid-Rajaei dam, located in Mazandaran province, northern Iran, which meets the downstream water demands...
متن کاملImprovement of density-based clustering algorithm using modifying the density definitions and input parameter
Clustering is one of the main tasks in data mining, which means grouping similar samples. In general, there is a wide variety of clustering algorithms. One of these categories is density-based clustering. Various algorithms have been proposed for this method; one of the most widely used algorithms called DBSCAN. DBSCAN can identify clusters of different shapes in the dataset and automatically i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Bulletin of the EATCS
دوره 81 شماره
صفحات -
تاریخ انتشار 2003